perm filename FILE2.TYP[TEX,DEK] blob
sn#716780 filedate 1983-06-24 generic text, type T, neo UTF8
This is DVItype, Version 1.1
Options selected:
Starting page = *
Maximum number of pages = 1000000
Output level = 1 (terse)
Resolution = 7227.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000; 0.00152588 pixels per DVI unit
' TeX output 1983.06.24:0017'
42: beginning of page 800
87: down3 2359296 v:=0+2359296=2359296, vv:=3600
91: push
level 0:(h=0,v=2359296,w=0,x=0,y=0,z=0,hh=0,vv=3600)
92: down3 -1703936 v:=2359296-1703936=655360, vv:=1000
96: push
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=1000)
97: push
level 2:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=1000)
[ ]
102: fntdef1 34: ambx10---loaded at size 655360 DVI units
124: fntnum34 current font is ambx10
[800]
128: pop
level 2:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=1000)
129: fntdef1 43: cmti10---loaded at size 655360 DVI units
151: fntnum43 current font is cmti10
[Experimental Pages for the New T]
190: push
level 2:(h=9931599,v=655360,w=234473,x=0,y=0,z=0,hh=15155,vv=1000)
[ ]
195: down3 141084 v:=655360+141084=796444, vv:=1215
[E]
200: pop
level 2:(h=9931599,v=655360,w=234473,x=0,y=0,z=0,hh=15155,vv=1000)
[ X Manual]
213: pop
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=1000)
214: pop
level 0:(h=0,v=2359296,w=0,x=0,y=0,z=0,hh=0,vv=3600)
215: down4 34603008 v:=2359296+34603008=36962304, vv:=56400
220: push
level 0:(h=0,v=36962304,w=0,x=0,y=0,z=0,hh=0,vv=56400)
221: down4 -33947648 v:=36962304-33947648=3014656, vv:=4600
226: push
level 1:(h=0,v=3014656,w=0,x=0,y=0,z=0,hh=0,vv=4600)
227: fntdef1 38: amtt---loaded at size 655360 DVI units
247: fntnum38 current font is amtt
[% This test file generates the output shown on the opposite page.]
316: pop
level 1:(h=0,v=3014656,w=0,x=0,y=0,z=0,hh=0,vv=4600)
317: y3 789446 v:=3014656+789446=3804102, vv:=5805
321: push
level 1:(h=0,v=3804102,w=0,x=0,y=789446,z=0,hh=0,vv=5805)
[% It's a bit complex because it tries to illustrate lots of stuff.]
391: pop
level 1:(h=0,v=3804102,w=0,x=0,y=789446,z=0,hh=0,vv=5805)
392: y0 789446 v:=3804102+789446=4593548, vv:=7009
393: push
level 1:(h=0,v=4593548,w=0,x=0,y=789446,z=0,hh=0,vv=7009)
[% TeX ignores commentary (like this) that follows a `%' sign.]
458: pop
level 1:(h=0,v=4593548,w=0,x=0,y=789446,z=0,hh=0,vv=7009)
459: y0 789446 v:=4593548+789446=5382994, vv:=8214
460: y0 789446 v:=5382994+789446=6172440, vv:=9418
461: push
level 1:(h=0,v=6172440,w=0,x=0,y=789446,z=0,hh=0,vv=9418)
[% First the standard output style is changed slightly:]
519: pop
level 1:(h=0,v=6172440,w=0,x=0,y=789446,z=0,hh=0,vv=9418)
520: y0 789446 v:=6172440+789446=6961886, vv:=10623
521: push
level 1:(h=0,v=6961886,w=0,x=0,y=789446,z=0,hh=0,vv=10623)
[\hsize=29pc % The lines in this book are 29 picas wide.]
580: pop
level 1:(h=0,v=6961886,w=0,x=0,y=789446,z=0,hh=0,vv=10623)
581: y0 789446 v:=6961886+789446=7751332, vv:=11828
582: push
level 1:(h=0,v=7751332,w=0,x=0,y=789446,z=0,hh=0,vv=11828)
[\vsize=42pc % The page body is 42 picas (not counting footlines).]
651: pop
level 1:(h=0,v=7751332,w=0,x=0,y=789446,z=0,hh=0,vv=11828)
652: y0 789446 v:=7751332+789446=8540778, vv:=13032
653: push
level 1:(h=0,v=8540778,w=0,x=0,y=789446,z=0,hh=0,vv=13032)
[\footline={\tenrm Footline\quad\dotfill\quad Page \folio}]
714: pop
level 1:(h=0,v=8540778,w=0,x=0,y=789446,z=0,hh=0,vv=13032)
715: y0 789446 v:=8540778+789446=9330224, vv:=14237
716: push
level 1:(h=0,v=9330224,w=0,x=0,y=789446,z=0,hh=0,vv=14237)
[\pageno=1009 % This is the starting page number (don't ask why).]
784: pop
level 1:(h=0,v=9330224,w=0,x=0,y=789446,z=0,hh=0,vv=14237)
785: y0 789446 v:=9330224+789446=10119670, vv:=15441
786: push
level 1:(h=0,v=10119670,w=0,x=0,y=789446,z=0,hh=0,vv=15441)
[% See Chapter 23 for the way to make other page format changes]
852: pop
level 1:(h=0,v=10119670,w=0,x=0,y=789446,z=0,hh=0,vv=15441)
853: y0 789446 v:=10119670+789446=10909116, vv:=16646
854: push
level 1:(h=0,v=10909116,w=0,x=0,y=789446,z=0,hh=0,vv=16646)
[% via \hoffset,\voffset,\nopagenumbers,\headline,\raggedbottom.]
921: pop
level 1:(h=0,v=10909116,w=0,x=0,y=789446,z=0,hh=0,vv=16646)
922: y0 789446 v:=10909116+789446=11698562, vv:=17851
923: y0 789446 v:=11698562+789446=12488008, vv:=19055
924: push
level 1:(h=0,v=12488008,w=0,x=0,y=789446,z=0,hh=0,vv=19055)
[\vspace 1in % This makes an inch of blank space (1in=2.54cm).]
989: pop
level 1:(h=0,v=12488008,w=0,x=0,y=789446,z=0,hh=0,vv=19055)
990: y0 789446 v:=12488008+789446=13277454, vv:=20260
991: push
level 1:(h=0,v=13277454,w=0,x=0,y=789446,z=0,hh=0,vv=20260)
[\centerline{\bf A Bold, Centered Title}]
1034: pop
level 1:(h=0,v=13277454,w=0,x=0,y=789446,z=0,hh=0,vv=20260)
1035: y0 789446 v:=13277454+789446=14066900, vv:=21464
1036: push
level 1:(h=0,v=14066900,w=0,x=0,y=789446,z=0,hh=0,vv=21464)
[\smallskip % This gives a little extra space between lines here.]
1104: pop
level 1:(h=0,v=14066900,w=0,x=0,y=789446,z=0,hh=0,vv=21464)
1105: y0 789446 v:=14066900+789446=14856346, vv:=22669
1106: push
level 1:(h=0,v=14856346,w=0,x=0,y=789446,z=0,hh=0,vv=22669)
[\rightline{\it avec un sous-titre \`a la fran\c caise}]
1164: pop
level 1:(h=0,v=14856346,w=0,x=0,y=789446,z=0,hh=0,vv=22669)
1165: y0 789446 v:=14856346+789446=15645792, vv:=23874
1166: push
level 1:(h=0,v=15645792,w=0,x=0,y=789446,z=0,hh=0,vv=23874)
[% Now we use \beginsection to introduce part 1 of the document.]
1233: pop
level 1:(h=0,v=15645792,w=0,x=0,y=789446,z=0,hh=0,vv=23874)
1234: y0 789446 v:=15645792+789446=16435238, vv:=25078
1235: push
level 1:(h=0,v=16435238,w=0,x=0,y=789446,z=0,hh=0,vv=25078)
[\beginsection 1. Plain \TeX nology % The next line must be blank!]
1304: pop
level 1:(h=0,v=16435238,w=0,x=0,y=789446,z=0,hh=0,vv=25078)
1305: y0 789446 v:=16435238+789446=17224684, vv:=26283
1306: y0 789446 v:=17224684+789446=18014130, vv:=27487
1307: push
level 1:(h=0,v=18014130,w=0,x=0,y=789446,z=0,hh=0,vv=27487)
[The first paragraph of a new section is not indented.]
1364: pop
level 1:(h=0,v=18014130,w=0,x=0,y=789446,z=0,hh=0,vv=27487)
1365: y0 789446 v:=18014130+789446=18803576, vv:=28692
1366: push
level 1:(h=0,v=18803576,w=0,x=0,y=789446,z=0,hh=0,vv=28692)
[\TeX\ recognizes the end of a paragraph when it comes to a blank]
1434: pop
level 1:(h=0,v=18803576,w=0,x=0,y=789446,z=0,hh=0,vv=28692)
1435: y0 789446 v:=18803576+789446=19593022, vv:=29897
1436: push
level 1:(h=0,v=19593022,w=0,x=0,y=789446,z=0,hh=0,vv=29897)
[line in your manuscript file. % or to a `\par': see below.]
1498: pop
level 1:(h=0,v=19593022,w=0,x=0,y=789446,z=0,hh=0,vv=29897)
1499: y0 789446 v:=19593022+789446=20382468, vv:=31101
1500: y0 789446 v:=20382468+789446=21171914, vv:=32306
1501: push
level 1:(h=0,v=21171914,w=0,x=0,y=789446,z=0,hh=0,vv=32306)
[Subsequent paragraphs {\it are\/} indented.\footnote*{The amount]
1569: pop
level 1:(h=0,v=21171914,w=0,x=0,y=789446,z=0,hh=0,vv=32306)
1570: y0 789446 v:=21171914+789446=21961360, vv:=33510
1571: push
level 1:(h=0,v=21961360,w=0,x=0,y=789446,z=0,hh=0,vv=33510)
[ of indentation can be changed by changing a parameter called]
1636: pop
level 1:(h=0,v=21961360,w=0,x=0,y=789446,z=0,hh=0,vv=33510)
1637: y0 789446 v:=21961360+789446=22750806, vv:=34715
1638: push
level 1:(h=0,v=22750806,w=0,x=0,y=789446,z=0,hh=0,vv=34715)
[{\tt\char`\\parindent}. Turn the page for a summary of \TeX's most]
1708: pop
level 1:(h=0,v=22750806,w=0,x=0,y=789446,z=0,hh=0,vv=34715)
1709: y0 789446 v:=22750806+789446=23540252, vv:=35920
1710: push
level 1:(h=0,v=23540252,w=0,x=0,y=789446,z=0,hh=0,vv=35920)
[important parameters.} (See?) The computer breaks a paragraph's]
1777: pop
level 1:(h=0,v=23540252,w=0,x=0,y=789446,z=0,hh=0,vv=35920)
1778: y0 789446 v:=23540252+789446=24329698, vv:=37124
1779: push
level 1:(h=0,v=24329698,w=0,x=0,y=789446,z=0,hh=0,vv=37124)
[text into lines in a interesting way---see reference~[1]---and hy%]
1849: pop
level 1:(h=0,v=24329698,w=0,x=0,y=789446,z=0,hh=0,vv=37124)
1850: y0 789446 v:=24329698+789446=25119144, vv:=38329
1851: push
level 1:(h=0,v=25119144,w=0,x=0,y=789446,z=0,hh=0,vv=38329)
[phenates words automatically when necessary.]
1899: pop
level 1:(h=0,v=25119144,w=0,x=0,y=789446,z=0,hh=0,vv=38329)
1900: y0 789446 v:=25119144+789446=25908590, vv:=39533
1901: y0 789446 v:=25908590+789446=26698036, vv:=40738
1902: push
level 1:(h=0,v=26698036,w=0,x=0,y=789446,z=0,hh=0,vv=40738)
[\midinsert % This begins inserted material, e.g., a figure.]
1965: pop
level 1:(h=0,v=26698036,w=0,x=0,y=789446,z=0,hh=0,vv=40738)
1966: y0 789446 v:=26698036+789446=27487482, vv:=41943
1967: push
level 1:(h=0,v=27487482,w=0,x=0,y=789446,z=0,hh=0,vv=41943)
[\narrower\narrower % This brings the margins in (see Chapter 14).]
2036: pop
level 1:(h=0,v=27487482,w=0,x=0,y=789446,z=0,hh=0,vv=41943)
2037: y0 789446 v:=27487482+789446=28276928, vv:=43147
2038: push
level 1:(h=0,v=28276928,w=0,x=0,y=789446,z=0,hh=0,vv=43147)
[\noindent \llap{``}If there hadn't been room for this material on]
2107: pop
level 1:(h=0,v=28276928,w=0 x=0,y=789446,z=0,hh=0,vv=43147)
2108: y0 789446 v:=28276928+789446=29066374, vv:=44352
2109: push
level 1:(h=0,v=29066374,w=0,x=0,y=789446,z=0,hh=0,vv=44352)
[the present page, it would have been inserted on the next one.'']
2177: pop
level 1:(h=0,v=29066374,w=0,x=0,y=789446,z=0,hh=0,vv=44352)
2178: y0 789446 v:=29066374+789446=29855820, vv:=45556
2179: push
level 1:(h=0,v=29855820,w=0,x=0,y=789446,z=0,hh=0,vv=45556)
[\endinsert % This ends the insertion and the effect of \narrower.]
2248: pop
level 1:(h=0,v=29855820,w=0,x=0,y=789446,z=0,hh=0,vv=45556)
2249: y0 789446 v:=29855820+789446=30645266, vv:=46761
2250: y0 789446 v:=30645266+789446=31434712, vv:=47966
2251: push
level 1:(h=0,v=31434712,w=0,x=0,y=789446,z=0,hh=0,vv=47966)
[\proclaim Theorem T. The typesetting of $math$ is discussed in]
2317: pop
level 1:(h=0,v=31434712,w=0,x=0,y=789446,z=0,hh=0,vv=47966)
2318: y0 789446 v:=31434712+789446=32224158, vv:=49170
2319: push
level 1:(h=0,v=32224158,w=0,x=0,y=789446,z=0,hh=0,vv=49170)
[Chapters 16--19, and math symbols are summarized in Appendix~F.]
2386: pop
level 1:(h=0,v=32224158,w=0,x=0,y=789446,z=0,hh=0,vv=49170)
2387: y0 789446 v:=32224158+789446=33013604, vv:=50375
2388: y0 789446 v:=33013604+789446=33803050, vv:=51579
2389: push
level 1:(h=0,v=33803050,w=0,x=0,y=789446,z=0,hh=0,vv=51579)
[\beginsection 2. Bibliography\par% `\par' is just like blank line.]
2459: pop
level 1:(h=0,v=33803050,w=0,x=0,y=789446,z=0,hh=0,vv=51579)
2460: y0 789446 v:=33803050+789446=34592496, vv:=52784
2461: push
level 1:(h=0,v=34592496,w=0,x=0,y=789446,z=0,hh=0,vv=52784)
[\frenchspacing % (Chapter 12 recommends this for bibliographies.)]
2530: pop
level 1:(h=0,v=34592496,w=0,x=0,y=789446,z=0,hh=0,vv=52784)
2531: y0 789446 v:=34592496+789446=35381942, vv:=53989
2532: push
level 1:(h=0,v=35381942,w=0,x=0,y=789446,z=0,hh=0,vv=53989)
[\item{[1]} D.~E. Knuth and M.~F. Plass, ``Breaking paragraphs]
2597: pop
level 1:(h=0,v=35381942,w=0,x=0,y=789446,z=0,hh=0,vv=53989)
2598: y0 789446 v:=35381942+789446=36171388, vv:=55193
2599: push
level 1:(h=0,v=36171388,w=0,x=0,y=789446,z=0,hh=0,vv=55193)
[into lines,'' {\sl Softw. pract. exp. \bf11} (1981), 1119--1184.]
2667: pop
level 1:(h=0,v=36171388,w=0,x=0,y=789446,z=0,hh=0,vv=55193)
2668: y0 789446 v:=36171388+789446=36960834, vv:=56398
2669: push
level 1:(h=0,v=36960834,w=0,x=0,y=789446,z=0,hh=0,vv=56398)
[\bye % This is the way the file ends, not with a \bang but a \bye.]
2739: pop
level 1:(h=0,v=36960834,w=0,x=0,y=789446,z=0,hh=0,vv=56398)
2740: pop
level 0:(h=0,v=36962304,w=0,x=0,y=0,z=0,hh=0,vv=56400)
2741: eop
2742: beginning of page 801
2787: down3 2359296 v:=0+2359296=2359296, vv:=3600
2791: push
level 0:(h=0,v=2359296,w=0,x=0,y=0,z=0,hh=0,vv=3600)
2792: down3 -1703936 v:=2359296-1703936=655360, vv:=1000
2796: push
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=1000)
[ ]
2802: fntnum43 current font is cmti10
[Experimental Pages for the New T]
2841: push
level 2:(h=19736071,v=655360,w=234473,x=0,y=0,z=0,hh=30115,vv=1000)
[ ]
2846: down3 141084 v:=655360+141084=796444, vv:=1215
[E]
2851: pop
level 2:(h=19736071,v=655360,w=234473,x=0,y=0,z=0,hh=30115,vv=1000)
[ X Manual]
2864: push
level 2:(h=22806528,v=655360,w=234473,x=0,y=0,z=0,hh=34800,vv=1000)
[ ]
2869: fntnum34 current font is ambx10
[801]
2873: pop
level 2:(h=22806528,v=655360,w=234473,x=0,y=0,z=0,hh=34800,vv=1000)
2874: pop
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=1000)
2875: pop
level 0:(h=0,v=2359296,w=0,x=0,y=0,z=0,hh=0,vv=3600)
2876: down4 34603008 v:=2359296+34603008=36962304, vv:=56400
2881: push
level 0:(h=0,v=36962304,w=0,x=0,y=0,z=0,hh=0,vv=56400)
2882: down4 -29411611 v:=36962304-29411611=7550693, vv:=11521
2887: push
level 1:(h=0,v=7550693,w=0,x=0,y=0,z=0,hh=0,vv=11521)
[ A Bold, Centered Title]
2920: pop
level 1:(h=0,v=7550693,w=0,x=0,y=0,z=0,hh=0,vv=11521)
2921: y3 983040 v:=7550693+983040=8533733, vv:=13021
2925: push
level 1:(h=0,v=8533733,w=0,x=0,y=983040,z=0,hh=0,vv=13021)
[ ]
2931: fntnum43 current font is cmti10
[avec un sous-titre ]
2958: setchar13 h:=18937729+334961=19272690, hh:=29408
[ a la fran]
2977: setchar24 h:=21299204+502442=21801646, hh:=33269
[ caise]
2987: pop
level 1:(h=0,v=8533733,w=0,x=0,y=983040,z=0,hh=0,vv=13021)
2988: down3 1572864 v:=8533733+1572864=10106597, vv:=15421
2992: push
level 1:(h=0,v=10106597,w=0,x=0,y=983040,z=0,hh=0,vv=15421)
2993: fntnum34 current font is ambx10
[1. Plain T]
3010: push
level 2:(h=3424979,v=10106597,w=0,x=0,y=983040,z=0,hh=5226,vv=15421)
[ ]
3015: down3 145635 v:=10106597+145635=10252232, vv:=15643
[E]
3020: pop
level 2:(h=3424979,v=10106597,w=0,x=0,y=983040,z=0,hh=5226,vv=15421)
[ Xnology]
3032: pop
level 1:(h=0,v=10106597,w=0,x=0,y=983040,z=0,hh=0,vv=15421)
3033: y0 983040 v:=10106597+983040=11089637, vv:=16921
3034: push
level 1:(h=0,v=11089637,w=0,x=0,y=983040,z=0,hh=0,vv=16921)
3035: fntdef1 6: amr10---loaded at size 655360 DVI units
3056: fntnum6 current font is amr10
[The |rst paragraph of a new section is not indented. T]
3120: push
level 2:(h=15860551,v=11089637,w=214498,x=0,y=983040,z=0,hh=24201,vv=16921)
[ ]
3125: down3 141084 v:=11089637+141084=11230721, vv:=17136
[E]
3130: pop
level 2:(h=15860551,v=11089637,w=214498,x=0,y=983040,z=0,hh=24201,vv=16921)
[ X recognizes the end of]
3158: pop
level 1:(h=0,v=11089637,w=0,x=0,y=983040,z=0,hh=0,vv=16921)
3159: y3 786432 v:=11089637+786432=11876069, vv:=18121
3163: push
level 1:(h=0,v=11876069,w=0,x=0,y=786432,z=0,hh=0,vv=18121)
[a paragraph when it comes to a blank line in your manuscript |le.]
3236: pop
level 1:(h=0,v=11876069,w=0,x=0,y=786432,z=0,hh=0,vv=18121)
3237: y0 786432 v:=11876069+786432=12662501, vv:=19321
3238: push
level 1:(h=0,v=12662501,w=0,x=0,y=786432,z=0,hh=0,vv=19321)
[ Subsequent paragraphs ]
3271: fntnum43 current font is cmti10
[are ]
3282: fntnum6 current font is amr10
[indented.* (See?) The computer breaks a para-]
3335: pop
level 1:(h=0,v=12662501,w=0,x=0,y=786432,z=0,hh=0,vv=19321)
3336: y0 786432 v:=12662501+786432=13448933, vv:=20521
3337: push
level 1:(h=0,v=13448933,w=0,x=0,y=786432,z=0,hh=0,vv=20521)
[graph's text into lines in a interesting way_see reference [1]_and hyphenates]
3425: pop
level 1:(h=0,v=13448933,w=0,x=0,y=786432,z=0,hh=0,vv=20521)
3426: y0 786432 v:=13448933+786432=14235365, vv:=21721
3427: push
level 1:(h=0,v=14235365,w=0,x=0,y=786432,z=0,hh=0,vv=21721)
[words automatically when necessary.]
3473: pop
level 1:(h=0,v=14235365,w=0,x=0,y=786432,z=0,hh=0,vv=21721)
3474: down3 2220942 v:=14235365+2220942=16456307, vv:=25110
3478: push
level 1:(h=0,v=16456307,w=0,x=0,y=786432,z=0,hh=0,vv=25110)
3479: down3 -786432 v:=16456307-786432=15669875, vv:=23910
3483: push
level 2:(h=0,v=15669875,w=0,x=0,y=786432,z=0,hh=0,vv=23910)
3484: push
level 3:(h=0,v=15669875,w=0,x=0,y=786432,z=0,hh=0,vv=23910)
[ \]
3490: pop
level 3:(h=0,v=15669875,w=0,x=0,y=786432,z=0,hh=0,vv=23910)
[ If there hadn't been room for this material on the present]
3563: pop
level 2:(h=0,v=15669875,w=0,x=0,y=786432,z=0,hh=0,vv=23910)
3564: y0 786432 v:=15669875+786432=16456307, vv:=25110
3565: push
level 2:(h=0,v=16456307,w=0,x=0,y=786432,z=0,hh=0,vv=25110)
[ page, it would have been inserted on the next one."]
3632: pop
level 2:(h=0,v=16456307,w=0,x=0,y=786432,z=0,hh=0,vv=25110)
3633: pop
level 1:(h=0,v=16456307,w=0,x=0,y=786432,z=0,hh=0,vv=25110)
3634: z3 1572864 v:=16456307+1572864=18029171, vv:=27510
3638: push
level 1:(h=0,v=18029171,w=0,x=0,y=786432,z=1572864,hh=0,vv=27510)
3639: fntnum34 current font is ambx10
[Theorem T. ]
3657: fntdef1 40: cms10---loaded at size 655360 DVI units
3678: fntnum40 current font is cms10
[The typesetting of ]
3704: fntdef1 7: cmi10---loaded at size 655360 DVI units
3725: fntnum7 current font is cmi10
[math ]
3731: fntnum40 current font is cms10
[is discussed in Chapters 16↑19, and math]
3775: pop
level 1:(h=0,v=18029171,w=0,x=0,y=786432,z=1572864,hh=0,vv=27510)
3776: y0 786432 v:=18029171+786432=18815603, vv:=28710
3777: push
level 1:(h=0,v=18815603,w=0,x=0,y=786432,z=1572864,hh=0,vv=28710)
[symbols are summarized in Appendix F.]
3821: pop
level 1:(h=0,v=18815603,w=0,x=0,y=786432,z=1572864,hh=0,vv=28710)
3822: down3 1966080 v:=18815603+1966080=20781683, vv:=31710
3826: push
level 1:(h=0,v=20781683,w=0,x=0,y=786432,z=1572864,hh=0,vv=31710)
3827: fntnum34 current font is ambx10
[2. Bibliography]
3849: pop
level 1:(h=0,v=20781683,w=0,x=0,y=786432,z=1572864,hh=0,vv=31710)
3850: down3 983040 v:=20781683+983040=21764723, vv:=33210
3854: push
level 1:(h=0,v=21764723,w=0,x=0,y=786432,z=1572864,hh=0,vv=33210)
3855: push
level 2:(h=0,v=21764723,w=0,x=0,y=786432,z=1572864,hh=0,vv=33210)
[ ]
3860: fntnum6 current font is amr10
[[1]]
3864: pop
level 2:(h=0,v=21764723,w=0,x=0,y=786432,z=1572864,hh=0,vv=33210)
[ D. E. Knuth and M. F. Plass, \Breaking paragraphs into lines," ]
3939: fntnum40 current font is cms10
[So$w.]
3946: pop
level 1:(h=0,v=21764723,w=0,x=0,y=786432,z=1572864,hh=0,vv=33210)
3947: y0 786432 v:=21764723+786432=22551155, vv:=34410
3948: push
level 1:(h=0,v=22551155,w=0,x=0,y=786432,z=1572864,hh=0,vv=34410)
[ pract. exp. ]
3968: fntnum34 current font is ambx10
[11 ]
3972: fntnum6 current font is amr10
[(1981), 1119↑1184.]
3991: pop
level 1:(h=0,v=22551155,w=0,x=0,y=786432,z=1572864,hh=0,vv=34410)
3992: down4 11324403 v:=22551155+11324403=33875558, vv:=51690
3997: putrule height 26215, width 9472573 (41x14454 pixels)
4006: down3 727450 v:=33875558+727450=34603008, vv:=52800
4010: push
level 1:(h=0,v=34603008,w=0,x=0,y=786432,z=1572864,hh=0,vv=52800)
4011: push
level 2:(h=0,v=34603008,w=0,x=0,y=786432,z=1572864,hh=0,vv=52800)
[ *]
4017: pop
level 2:(h=0,v=34603008,w=0,x=0,y=786432,z=1572864,hh=0,vv=52800)
[ The amount of indentation can be changed by changing a parameter called]
4106: pop
level 1:(h=0,v=34603008,w=0,x=0,y=786432,z=1572864,hh=0,vv=52800)
4107: y0 786432 v:=34603008+786432=35389440, vv:=54000
4108: push
level 1:(h=0,v=35389440,w=0,x=0,y=786432,z=1572864,hh=0,vv=54000)
4109: fntnum38 current font is amtt
[\parindent]
4120: fntnum6 current font is amr10
[. Turn the page for a summary of T]
4162: push
level 2:(h=13451157,v=35389440,w=179815,x=0,y=786432,z=1572864,hh=20525,vv=54000)
[ ]
4167: down3 141084 v:=35389440+141084=35530524, vv:=54215
[E]
4172: pop
level 2:(h=13451157,v=35389440,w=179815,x=0,y=786432,z=1572864,hh=20525,vv=54000)
[ X's most important parameters.]
4213: pop
level 1:(h=0,v=35389440,w=0,x=0,y=786432,z=1572864,hh=0,vv=54000)
4214: z0 1572864 v:=35389440+1572864=36962304, vv:=56400
4215: push
level 1:(h=0,v=36962304,w=0,x=0,y=786432,z=1572864,hh=0,vv=56400)
[Footline ]
4235: push
level 2:(h=3203948,v=36962304,w=0,x=0,y=786432,z=1572864,hh=4889,vv=56400)
[.]
4241: pop
level 2:(h=3203948,v=36962304,w=0,x=0,y=786432,z=1572864,hh=4889,vv=56400)
[ ]
4246: push
level 2:(h=3495216,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=5333,vv=56400)
[.]
4252: pop
level 2:(h=3495216,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=5333,vv=56400)
[ ]
4254: push
level 2:(h=3786484,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=5778,vv=56400)
[.]
4260: pop
level 2:(h=3786484,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=5778,vv=56400)
[ ]
4262: push
level 2:(h=4077752,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=6222,vv=56400)
[.]
4268: pop
level 2:(h=4077752,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=6222,vv=56400)
[ ]
4270: push
level 2:(h=4369020,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=6667,vv=56400)
[.]
4276: pop
level 2:(h=4369020,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=6667,vv=56400)
[ ]
4278: push
level 2:(h=4660288,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=7111,vv=56400)
[.]
4284: pop
level 2:(h=4660288,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=7111,vv=56400)
[ ]
4286: push
level 2:(h=4951556,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=7555,vv=56400)
[.]
4292: pop
level 2:(h=4951556,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=7555,vv=56400)
[ ]
4294: push
level 2:(h=5242824,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=8000,vv=56400)
[.]
4300: pop
level 2:(h=5242824,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=8000,vv=56400)
[ ]
4302: push
level 2:(h=5534092,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=8444,vv=56400)
[.]
4308: pop
level 2:(h=5534092,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=8444,vv=56400)
[ ]
4310: push
level 2:(h=5825360,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=8889,vv=56400)
[.]
4316: pop
level 2:(h=5825360,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=8889,vv=56400)
[ ]
4318: push
level 2:(h=6116628,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=9333,vv=56400)
[.]
4324: pop
level 2:(h=6116628,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=9333,vv=56400)
[ ]
4326: push
level 2:(h=6407896,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=9778,vv=56400)
[.]
4332: pop
level 2:(h=6407896,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=9778,vv=56400)
[ ]
4334: push
level 2:(h=6699164,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=10222,vv=56400)
[.]
4340: pop
level 2:(h=6699164,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=10222,vv=56400)
[ ]
4342: push
level 2:(h=6990432,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=10667,vv=56400)
[.]
4348: pop
level 2:(h=6990432,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=10667,vv=56400)
[ ]
4350: push
level 2:(h=7281700,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=11111,vv=56400)
[.]
4356: pop
level 2:(h=7281700,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=11111,vv=56400)
[ ]
4358: push
level 2:(h=7572968,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=11555,vv=56400)
[.]
4364: pop
level 2:(h=7572968,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=11555,vv=56400)
[ ]
4366: push
level 2:(h=7864236,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=12000,vv=56400)
[.]
4372: pop
level 2:(h=7864236,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=12000,vv=56400)
[ ]
4374: push
level 2:(h=8155504,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=12444,vv=56400)
[.]
4380: pop
level 2:(h=8155504,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=12444,vv=56400)
[ ]
4382: push
level 2:(h=8446772,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=12889,vv=56400)
[.]
4388: pop
level 2:(h=8446772,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=12889,vv=56400)
[ ]
4390: push
level 2:(h=8738040,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=13333,vv=56400)
[.]
4396: pop
level 2:(h=8738040,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=13333,vv=56400)
[ ]
4398: push
level 2:(h=9029308,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=13778,vv=56400)
[.]
4404: pop
level 2:(h=9029308,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=13778,vv=56400)
[ ]
4406: push
level 2:(h=9320576,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=14222,vv=56400)
[.]
4412: pop
level 2:(h=9320576,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=14222,vv=56400)
[ ]
4414: push
level 2:(h=9611844,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=14667,vv=56400)
[.]
4420: pop
level 2:(h=9611844,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=14667,vv=56400)
[ ]
4422: push
level 2:(h=9903112,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=15111,vv=56400)
[.]
4428: pop
level 2:(h=9903112,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=15111,vv=56400)
[ ]
4430: push
level 2:(h=10194380,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=15555,vv=56400)
[.]
4436: pop
level 2:(h=10194380,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=15555,vv=56400)
[ ]
4438: push
level 2:(h=10485648,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=16000,vv=56400)
[.]
4444: pop
level 2:(h=10485648,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=16000,vv=56400)
[ ]
4446: push
level 2:(h=10776916,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=16444,vv=56400)
[.]
4452: pop
level 2:(h=10776916,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=16444,vv=56400)
[ ]
4454: push
level 2:(h=11068184,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=16889,vv=56400)
[.]
4460: pop
level 2:(h=11068184,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=16889,vv=56400)
[ ]
4462: push
level 2:(h=11359452,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=17333,vv=56400)
[.]
4468: pop
level 2:(h=11359452,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=17333,vv=56400)
[ ]
4470: push
level 2:(h=11650720,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=17778,vv=56400)
[.]
4476: pop
level 2:(h=11650720,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=17778,vv=56400)
[ ]
4478: push
level 2:(h=11941988,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=18222,vv=56400)
[.]
4484: pop
level 2:(h=11941988,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=18222,vv=56400)
[ ]
4486: push
level 2:(h=12233256,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=18666,vv=56400)
[.]
4492: pop
level 2:(h=12233256,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=18666,vv=56400)
[ ]
4494: push
level 2:(h=12524524,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=19111,vv=56400)
[.]
4500: pop
level 2:(h=12524524,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=19111,vv=56400)
[ ]
4502: push
level 2:(h=12815792,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=19555,vv=56400)
[.]
4508: pop
level 2:(h=12815792,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=19555,vv=56400)
[ ]
4510: push
level 2:(h=13107060,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=20000,vv=56400)
[.]
4516: pop
level 2:(h=13107060,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=20000,vv=56400)
[ ]
4518: push
level 2:(h=13398328,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=20444,vv=56400)
[.]
4524: pop
level 2:(h=13398328,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=20444,vv=56400)
[ ]
4526: push
level 2:(h=13689596,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=20889,vv=56400)
[.]
4532: pop
level 2:(h=13689596,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=20889,vv=56400)
[ ]
4534: push
level 2:(h=13980864,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=21333,vv=56400)
[.]
4540: pop
level 2:(h=13980864,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=21333,vv=56400)
[ ]
4542: push
level 2:(h=14272132,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=21778,vv=56400)
[.]
4548: pop
level 2:(h=14272132,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=21778,vv=56400)
[ ]
4550: push
level 2:(h=14563400,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=22222,vv=56400)
[.]
4556: pop
level 2:(h=14563400,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=22222,vv=56400)
[ ]
4558: push
level 2:(h=14854668,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=22666,vv=56400)
[.]
4564: pop
level 2:(h=14854668,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=22666,vv=56400)
[ ]
4566: push
level 2:(h=15145936,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=23111,vv=56400)
[.]
4572: pop
level 2:(h=15145936,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=23111,vv=56400)
[ ]
4574: push
level 2:(h=15437204,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=23555,vv=56400)
[.]
4580: pop
level 2:(h=15437204,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=23555,vv=56400)
[ ]
4582: push
level 2:(h=15728472,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=24000,vv=56400)
[.]
4588: pop
level 2:(h=15728472,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=24000,vv=56400)
[ ]
4590: push
level 2:(h=16019740,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=24444,vv=56400)
[.]
4596: pop
level 2:(h=16019740,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=24444,vv=56400)
[ ]
4598: push
level 2:(h=16311008,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=24889,vv=56400)
[.]
4604: pop
level 2:(h=16311008,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=24889,vv=56400)
[ ]
4606: push
level 2:(h=16602276,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=25333,vv=56400)
[.]
4612: pop
level 2:(h=16602276,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=25333,vv=56400)
[ ]
4614: push
level 2:(h=16893544,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=25778,vv=56400)
[.]
4620: pop
level 2:(h=16893544,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=25778,vv=56400)
[ ]
4622: push
level 2:(h=17184812,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=26222,vv=56400)
[.]
4628: pop
level 2:(h=17184812,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=26222,vv=56400)
[ ]
4630: push
level 2:(h=17476080,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=26666,vv=56400)
[.]
4636: pop
level 2:(h=17476080,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=26666,vv=56400)
[ ]
4638: push
level 2:(h=17767348,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=27111,vv=56400)
[.]
4644: pop
level 2:(h=17767348,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=27111,vv=56400)
[ ]
4646: push
level 2:(h=18058616,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=27555,vv=56400)
[.]
4652: pop
level 2:(h=18058616,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=27555,vv=56400)
[ ]
4654: push
level 2:(h=18349884,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=28000,vv=56400)
[.]
4660: pop
level 2:(h=18349884,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=28000,vv=56400)
[ ]
4662: push
level 2:(h=18641152,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=28444,vv=56400)
[.]
4668: pop
level 2:(h=18641152,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=28444,vv=56400)
[ ]
4670: push
level 2:(h=18932420,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=28889,vv=56400)
[.]
4676: pop
level 2:(h=18932420,v=36962304,w=291268,x=0,y=786432,z=1572864,hh=28889,vv=56400)
[ Page 1009]
4696: pop
level 1:(h=0,v=36962304,w=0,x=0,y=786432,z=1572864,hh=0,vv=56400)
4697: pop
level 0:(h=0,v=36962304,w=0,x=0,y=0,z=0,hh=0,vv=56400)
4698: eop
Postamble starts at byte 4699.
maxv=37106483, maxh=22806528, maxstackdepth=4, totalpages=2
warning: observed maxh was 24723453
Font 43: cmti10
Font 40: cms10
Font 38: amtt
Font 34: ambx10
Font 7: cmi10
Font 6: amr10